Types and Programming Languages - PDFSEARCH.IO - Document Search Engine

Types and Programming Languages
Results: 543

#	Item
21	Proposal for Extending the UPC Memory Copy Library Functions and Supporting Extensions to GASNet Version 2.0 Lawrence Berkeley National Lab Tech Report LBNLv2.0 Dan Bonachea University of California, Berkeley Add to Reading List Source URL: gasnet.lbl.gov Language: English - Date: 2010-05-06 00:14:41 Computing Software engineering Computer programming C++ Concurrent programming languages Data types Parallel computing Concurrent computing Unified Parallel C Const Thread Pointer
22	Programovací jazyky F# a OCaml Chapter 4. Generic and recursive types Generic types Add to Reading List Source URL: tomasp.net Language: English Software engineering Computer programming Computing Data types Functional languages Type theory Recursion Functional programming OCaml Caml Recursive data type ML
23	Design of Parallel and High Performance Computing HS 2014 Torsten Hoefler, Markus P¨ uschel Department of Computer Science ETH Zurich Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2014-10-30 05:58:05 Computing Abstract data types Concurrency control Concurrent computing Transaction processing Computer architecture Linearizability Concurrent programming languages Shared register Queue Sequential consistency XC
24	Programming Model and Synthesis for Low-power Spatial Architectures Add to Reading List Source URL: pl.eecs.berkeley.edu Language: English - Date: 2015-02-13 21:22:05 Software engineering Programming language theory Computer programming C++ Data types Concurrent programming languages C Procedural programming languages XC Const C++ classes Typedef
25	The OCaml system release 4.03 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2016-04-25 11:00:25 Software engineering Computer programming Computing Functional languages Object-oriented programming languages Data types OCaml Generic programming Modular programming Module Set Coupling
26	Creative Uses of Functions Steven A. Wright Quintiles, Inc. A comprehensive knowledge of the appropriate SAS® functions can often make the difference between a difficult and a fun programming task. My goal is to Add to Reading List Source URL: www.ats.ucla.edu Language: English - Date: 2016-08-17 18:18:26 Software engineering Computing Computer programming Data types Subroutines Procedural programming languages 4GL Data warehousing SAS Comparison of programming languages C++ classes Variable
27	Scala Macros: Let Our Powers Combine! On How Rich Syntax and Static Types Work with Metaprogramming Eugene Burmako EPFL, Switzerland Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2014-03-18 17:06:31 Software engineering Computer programming Computing Functional languages Object-oriented programming languages Procedural programming languages Concurrent programming languages Type theory Macro Nemerle Nim Scala
28	Introduction to Smalltalk - Chapter 10 - Streams, files, and BOSS  Ivan TomekChapter 10 - Streams, files, and BOSS Overview Add to Reading List Source URL: sdmeta.gforge.inria.fr Language: English - Date: 2014-10-09 10:38:16 Computing Software engineering Computer programming Data types Primitive types Object-oriented programming languages Smalltalk Pointer Stream String VisualWorks Circular buffer
29	How to make ad-hoc polymorphism less ad hoc Philip Wadler and Stephen Blott University of Glasgow OctoberAbstract Add to Reading List Source URL: 202.3.77.10 Language: English - Date: 2016-05-28 06:05:21 Software engineering Computer programming Programming language theory Type theory Data types Functional programming Functional languages Procedural programming languages Type class Standard ML Parametric polymorphism Relational operator

UPDATE